AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x1, d, x2*c, a*b, a + b]
